Extending SWRL to Enhance Mathematical Support

Extending SWRL to Express Fully-Quantified Constraints

Drawing on experience gained over a series of distributed knowledge base and database projects, we argue for the utility of an expressive quantified constraint language for the Semantic Web logic layer. Our Constraint Interchange Format (CIF) is based on classical range-restricted FOL. CIF allows the expression of invariant conditions in Semantic Web data models, but the choice of how to implem...

SWRL2SPIN: A tool for transforming SWRL rule bases in OWL ontologies to object-oriented SPIN rules

SWRL is a semantic web rule language that combines OWL ontologies with Horn Logic rules of the RuleML family of rule languages, extending the set of OWL axioms to include Horn-like rules. Being supported by the Protégé ontology editor as well as by popular rule engines and ontology reasoners, such as Jess, Drools and Pellet, SWRL has become a very popular choice for developing rule-based applic...

Fire - Extending Racer by an Engine for SWRL Rules

In this paper we propose the Fire system, a prototype rule engine for reasoning with SWRL (Semantic Web Rules Language) [5] rules and OWL (Ontology Web Language) ontologies. This system is intended as an extension to the reasoning services of the RACER system [3]. For ease of implementation, support is currently provided for SWRL rules that are restricted as follows: (i) Rules must be atomic (s...

Extending Functions in the Model Subspaces of H^2(R) to C

The SWRLAPI: A Development Environment for Working with SWRL Rules

SWRL is an expressive OWL-based rule language that can be used to increase the amount of knowledge encoded in OWL ontologies. While semantically a SWRL rule can be considered as an additional type of OWL axiom, the authoring and management of SWRL rule bases requires specialized tools that are not typically present in standard OWL development environments. In this paper, we describe such a tool...